|
|
1.
基于无干扰理论的分布式多级安全核心架构
邵婧 陈性元 杜学绘 曹利峰
计算机应用
2013, 33 (03):
712-716.
DOI: 10.3724/SP.J.1087.2013.00712
为了提高分布式环境下多级安全实施的正确性和可行性,提出了一个分布式多级安全保护核心架构——分布式可信计算基(DTCB)。DTCB具有三层结构,包括系统层可信计算基、模块层可信计算基和分区层可信计算基,实现了从模块间、分区间到分区内部的逐步细化的信息流和访问控制,有效降低了分布式环境下多级安全实施的复杂性。最后,采用组合无干扰模型形式化证明了DTCB的安全性,结果表明,DTCB能够从整体上为分布式系统提供较好的多级安全保护。
参考文献 |
相关文章 |
多维度评价
|
|
